<?php

/**
 * This is an interface for a page with submenu.
 * @author Honza
 */
interface IMainBodyWithSubMenu extends IMainBody {
  /**
   * @return submenu (html string)
   */
  public function getSubNavigation();
}

?>
